<?php
/**
 * Created by PhpStorm.
 * User: WenQing
 * Date: 2017/7/24
 * Time: 11:08
 */
$addHello = function ($name) {
    echo 'hello '.$name.'<br/>';
};

$addHello('test12');
$addHello('test2');

function format($value){
    echo 'hello '.$value.'<br/>';
}
array_map('format',['test','2222','3333']);

function user()
{
    return 'user';
}

echo "user = ",user();

for($i = 0; $i < 10000; $i++)
{
    echo 'i = '.$i.'<br/>';
    sleep(1);
    flush();
}